home *** CD-ROM | disk | FTP | other *** search
/ HPAVC / HPAVC CD-ROM.iso / EXPBENCH.ZIP / GENFILE.DOC < prev    next >
Text File  |  1987-02-26  |  2KB  |  63 lines
  1. .mt2
  2. .mb2
  3. Thi≤ prograφ generate≤ benchmarδ tes⌠ case≤ fo≥ M1«  Thσ tes⌠ ì
  4. case≤ arσ knowledgσ base≤ whicΦ M▒ caε loaΣ anΣ execute«  Thσ ì
  5. tes⌠ case≤ havσ fou≥ parts║ thσ goal¼ rule≤ t∩ se⌠ thσ fina∞ ì
  6. variable≤ TRUE¼ ß rulσ whicΦ wil∞ satisf∙ thσ goal¼ anΣ thσ bod∙ ì
  7. oµ thσ tes⌠ case«  Herσ wσ seσ threσ examples:
  8.  
  9. A simple test case with four body rules:
  10.  
  11.      goa∞ ╜ v0«                     (thσ goal)
  12. áááááv5«                            (v╡ i≤ TRUE)
  13. áááááiµ v▒ theε v0«                 (thσ rulσ whicΦ satisfie≤ thσ goal)
  14. áááááiµ v▓ theε v1«                 (thσ bod∙ oµ thσ knowledgσ base)
  15. áááááiµ v│ theε v2.
  16. áááááiµ v┤ theε v3.
  17. áááááiµ v╡ theε v4.
  18.  
  19. A disjunctive test case with four two-variable body rules:
  20.  
  21. ááááágoa∞ ╜ v0«                     (thσ goal)
  22. áááááv5«                            (v╡ anΣ v╢ arσ TRUE)
  23. áááááv6.
  24. áááááiµ v▒ o≥ v▓ theε v0«           (thσ rulσ whicΦ satisfie≤ thσ goal)
  25. áááááiµ v│ o≥ v┤ theε v1«           (thσ bod∙ oµ thσ knowledgσ base)
  26. áááááiµ v│ o≥ v┤ theε v2.
  27. áááááiµ v╡ o≥ v╢ theε v3.
  28. áááááiµ v╡ o≥ v╢ theε v4.
  29.  
  30. A conjunctive test case with four two-variable body rules:
  31.  
  32. ááááágoa∞ ╜ v0«                     (thσ goal)
  33. áááááv5«                            (v╡ anΣ v╢ arσ TRUE)
  34. áááááv6.
  35. áááááiµ v▒ anΣ v▓ theε v0«          (thσ rulσ whicΦ satisfie≤ thσ goal)
  36. áááááiµ v│ anΣ v┤ theε v1«          (thσ bod∙ oµ thσ knowledgσ base)
  37. áááááiµ v│ anΣ v┤ theε v2.
  38. áááááiµ v╡ anΣ v╢ theε v3.
  39. áááááiµ v╡ anΣ v╢ theε v4.
  40.  
  41. Usinτ thσ program¼ yo⌡ caε quickl∙ generatσ benchmarδ knowledgσ ì
  42. base≤ anΣ timσ thei≥ loadinτ anΣ execution«  Thσ prograφ wil∞ ì
  43. promp⌠ thσ use≥ for:
  44.  
  45. 1.áThe test case type (simple, disjunctive or conjunctive).
  46.  
  47.     áUpper or lower case inputs are allowed.
  48.  
  49. 2. The name of the file to write the knowledge base to.
  50.  
  51. áááááA hand∙ file-naminτ conventioε i≤:
  52. ááááá
  53. ááááá     <S/D/C><# oµ variables>-<# of body rules>
  54.  
  55. 3. The number of variables in the "if" portion of each rule.
  56. ááááá 
  57. áááááFor a simple test case, this is automatically set to 1.
  58.  
  59. 4. The number of rules in the body of the test knowledge base.
  60.  
  61.      Thσ numbe≥ oµ rule≤ mus⌠ bσ aε eveε multiplσ oµ thσ numbe≥ ì
  62. áááááoµ variables.
  63.